Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
371	E.V. Flynn On a Theorem of Coleman 1 Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2006-07-08 18:57:37 Analytic number theory Elliptic curve Group theory Symbol Quadratic form Linear temporal logic Classical modular curve Algebra Mathematics Abstract algebra
372	3 3.1 Relativistic wave equations Klein-Gordon Add to Reading List Source URL: www.chem.helsinki.fi Language: English - Date: 2003-10-21 13:39:13 Operator theory Quantum mechanics Dirac equation Spinors Operator Linear temporal logic Symbol Physics Quantum field theory Partial differential equations
373	T&T Proof A07025 23 January[removed]Proceedings of the Royal Society of Edinburgh, 139A, 1–13, 2009 Two non-trivial solutions for a non-homogeneous Neumann problem: Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:24:26 Inequalities Operator theory Fourier analysis Calculus of variations Sobolev inequality Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Sobolev spaces
374	DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS Volume 18, Number 1, May 2007 Website: http://aimSciences.org pp. 107–120 Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:29:49 Sobolev inequality Calculus of variations Continuous function Linear temporal logic Mathematical analysis Mathematics Inequalities
375	No-Regret Learning in Convex Games Geoffrey J. Gordon Machine Learning Department, Carnegie Mellon University, Pittsburgh, PA[removed]removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-05-10 08:42:50 Function Swap regret Golden ratio base Linear temporal logic Mathematics Compiler construction Static single assignment form
376	DIAGRAM REWRITING AND OPERADS by Yves Lafont Abstract. — We give a survey of a diagrammatic syntax for PROs and PROPs, which are related to the theory of operads and bialgebras. Using diagram rewriting, Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2010-02-10 09:08:50 Physics Mathematics Linear temporal logic Μ operator Symbol Operad theory Canonical commutation relation
377	Logic, Automata, Games, and Algorithms Moshe Y. Vardi Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-11 21:41:58 Computer science Deterministic finite automaton Nondeterministic finite automaton Model theory Regular language Structure First-order logic Powerset construction Linear temporal logic Automata theory Theoretical computer science Logic
378	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
379	On Kubota’s Dirichlet Series Ben Brubaker and Daniel Bump March 8, 2006 Kubota [19] showed how the theory of Eisenstein series on the higher metaplectic covers of SL2 (which he discovered) can be used to study the anal Add to Reading List Source URL: sporadic.stanford.edu Language: English - Date: 2011-06-09 18:39:10 Symbol Dirichlet series Series Constructible universe Algebraic number field Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Mathematics
380	From Verification to Synthesis Moshe Y. Vardi Rice University Verification Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-14 03:05:34 Linear temporal logic Formal languages Amir Pnueli Model checking Well-formed formula Function Logic Mathematics Temporal logic

UPDATE